/* Benchmarks for the PionterC verifier. */

// null pointer dereference error


/*@ Pi={{p1, p2}, {q1, q2, q3}}
 */
int f(int* p1, int* p2, int* q1, int* q2, int* q3)
{
  return *p1;
}
/*@ */



/*@ */
void main()
{
  int * p1, p2, p3, p4, p5;
  int i;
  
  p1 = alloc(int);
  p2 = alloc(int);
  p3 = alloc(int);
  p4 = alloc(int);
  p5 = alloc(int);
  i = f(p1, p2, p3, p4, p5);
  return;
}
/*@ */
